Abstract logic of oppositions

Patent Oppositions

In recent years, patent protection has extended into new areas, giving rise to serious concern about the lack of clear guidelines for patentability. We analyze the effect of introducing a patent opposition process that would allow patent validity to be challenged directly after a patent is granted. In many cases, such a system would avoid costly litigation at a later date. In other cases, the o...

Nested Oppositions

Multirole Logic (Extended Abstract)

We identify multirole logic as a new form of logic in which conjunction/disjunction is interpreted as an ultrafilter on the power set of some underlying set (of roles) and the notion of negation is generalized to endomorphisms on this underlying set. We formalize both multirole logic (MRL) and linear multirole logic (LMRL) as natural generalizations of classical logic (CL) and classical linear ...

Abstract Argumentation, Logic & Games

Abstract Argumentation, Logic & Games ∗Argumentation, Logic & Games ∗ Davide Grossi University of Liverpool Abstract argumentation [2] is the theory of graphs of the type 〈A, 〉—called attack graphs—where A is a set and a binary relation. These are high-level models of the sort of conflict that occurs in argumentation where arguments (the elements of A) interact by attacking one another (through...

Nominalistic Logic (Extended Abstract)

Nominalistic Logic (NL) is a new presentation of Paul Gilmore’s Intensional Type Theory (ITT) as a sequent calculus together with a succinct nominalization axiom (N) that permits names of predicates as individuals in certain cases. The logic has a flexible comprehension axiom, but no extensionality axiom and no infinity axiom, although axiom N is the key to the derivation of Peano’s postulates ...